own: a global array of constant arrays is no keeper; captured function values; constructor parameters past calls; borrows across releases of unrelated types (TSLANG 80, 82-84) - #858

More -mm=own fixes (TSLANG 80, 82, 83, 84, written up in TSLANG_ISSUES.md). 82 and 83 are the issues #857 recorded.

• 83 (memory bug): a row of a module-level array of arrays bound to a local (const meta = POOL[idx]) was freed on each call: a double free, which hung at exit or crashed.
  • The global passed for a keeper, whose elements are immortal, because its literal's elements are constants. Its rows are constant arrays, each a block nothing makes immortal.
  • Such a global is no keeper now, so a row read is a borrow.
  • The new test, built with the old compiler, hangs at exit.
• 82: a closure calling a function value it captured counted as a call that may free anything.
  • The call now resolves to the functions stored into the capture box's field, when every store is a function's symbol and no closure writes the box.
  • A captured let another closure assigns stays unknown.
• 80: a constructor parameter stored into a field, then read in a loop that calls, is read from the field, when this never escapes the constructor (no call can reach the object).
  • own: narrowed and kept locals, stable private fields, constant function aliases, pushes and moves on some paths (TSLANG 71-79, 81) #856 backed out a first attempt that copied the parameter and leaked it. This one makes no copy: 5M objects stay flat at 33 MB.
• 84: a borrow of a call's result, whose place is not known, survives a release of a value whose type cannot hold it (e.g. a texture across a pipeline store).
  • MLIRGen lists the module's @final classes, and its declared @cpp ones, on the module (ts.own_final_classes).
  • Only those classes' fields are followed: any other class may be a subclass object holding anything. The borrowed value must be of a @final class, or an array.
  • In the commit messages this fix was first numbered 82; it is 84 in the tests and docs.

Tests

• Every model: 00tslang_issue_80, 00tslang_issue_82, 00tslang_issue_83, 00tslang_issue_84.
• Own error tests:
  • own_err_escaped_this_field_read
  • own_err_closure_reassigned_captured_call
  • own_err_borrowed_result_holder_stored

Validation

• ctest: 7435 of 7435 passed.
• DefaultLib tests.ps1: all four models passed. Results are in a comment.
• ntg sweep (my own-sweep-fixes branch): 101 errors before this batch, 96 after.

🤖 Generated with Claude Code